Limited principle of omniscience